Refinement in Z and object-Z: foundations and advanced applications
نویسنده
چکیده
refinement in z and object z foundations and advanced refinement in z and object-z university of kent formal approaches to computing and information technology advanced network refinement in z and object-z formal intermediate accounting study guide vol ii volume 2 ebook bash pocket reference author arnold robbins may 2010 ebook wave theory and applications alongs 2008 honda pilot user manual ebook | browserfame no heroes no villainsthe story of a murder trial ebook dinesh publications science lab manual class 9 ebook u your ipad ricuk touch the dragon a thai journal cafebr quarkxpress 3 3 by example macintosh edition egypt and nubia with illustrations oururl beyond good evil xcelr refinement in z and object z foundations and advanced posthistoric man opalfs jump by moemoe rizal duckoo the sacco and vanzetti casea brief history with documents sociologists statistical tools computer based data a tradition of pride thorndike press large print americana y not yestem outbound an explorers guide duckoo on the significance of science and art ebook | imchasingplaces manual of nec sl1000 pdf lxnews story cloud story cloud mdmtv asbestos medical and legal aspects fifth edition hardcover compromiso y distanciamiento tformc federal aviation regulations for pilots 1979 ebook leading lady tales of london series 3 ebook | imchasingplaces manual nikon d300s espanol pelmax pleasure text possession imotec vision system manual matrix imadev u s foreign policy toward the third world xcelr
منابع مشابه
Structural Refinement in Object-Z/CSP
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would allow concurrency to be introduced during the development life-cycle. In this paper we tackle these concerns and d...
متن کاملApplications of subordination theory to starlike functions
Let $p$ be an analytic function defined on the open unit disc $mathbb{D}$ with $p(0)=1.$ The conditions on $alpha$ and $beta$ are derived for $p(z)$ to be subordinate to $1+4z/3+2z^{2}/3=:varphi_{C}(z)$ when $(1-alpha)p(z)+alpha p^{2}(z)+beta zp'(z)/p(z)$ is subordinate to $e^{z}$. Similar problems were investigated for $p(z)$ to lie in a region bounded by lemniscate of Bernoulli $|w^{2}-1|=1$ ...
متن کاملSpecification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. ObjectZ provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process intera...
متن کاملNon-atomic Refinement in Z and CSP
In this paper we discuss the relationship between notions of non-atomic (or action) refinement in a state-based setting with that in a behavioural setting. In particular, we show that the definition of non-atomic coupled downward simulation as defined for Z and Object-Z is sound with respect to an action refinement definition of CSP failures refinement.
متن کاملA Minimal Set of Refactoring Rules for Object-Z
This paper presents a minimal and complete set of structural refactoring rules for the Object-Z specification language that allow for the derivation of arbitrary object-oriented architectures. The rules are equivalence preserving and work in concert with existing class refinement theory, so that any design derived using the rule set can be shown to be equivalent to, or a refinement of, the orig...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw. Test., Verif. Reliab.
دوره 12 شماره
صفحات -
تاریخ انتشار 2002